Representation of Partial Traces Marc Bagnol Department of Mathematics and Statistics – University of Ottawa The notion of trace in a monoidal category has been introduced by Joyal Street and Verity [4] to give a categ

Source URL: logica.dmi.unisa.it

• Linear algebra
• Monoidal categories
• Order theory
• Category theory
• Abstract algebra
• Partial trace
• Andr Joyal
• Trace
• Equivalence class
• Equivalence relation
• Embedding
• Natural transformation

Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories Masahito Hasegawa1, Martin Hofmann2 , and Gordon Plotkin3 1 2

Source URL: www.tcs.ifi.lmu.de

Monoidal Categories, Graphical Reasoning, and Quantum Computation Lucas Dixon and Aleks Kissinger CAM-CAD 2009 Abstract Graphs provide a natural mechanism for visualising many algebraic

Source URL: dream.inf.ed.ac.uk

ON THE DEFINITION AND K-THEORY REALIZATION OF A MODULAR FUNCTOR IGOR KRIZ AND LUHANG LAI Abstract. We present a definition of a (super)-modular functor

Source URL: www.math.lsa.umich.edu

• Category theory
• Functors
• Algebraic topology
• Monoidal categories
• Nerve
• Enriched category
• Topological quantum field theory
• Sheaf
• Equivalence of categories
• Natural transformation
• Universal property
• Simplicial set

Belief Propagation in Monoidal Categories Jason Morton Penn State June 5, 2014 QPL 2014

Source URL: www-mmm.is.s.u-tokyo.ac.jp

Coherence for Skew-Monoidal Categories Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Estonia I motivate a variation (due to K. Szlach´anyi) of monoidal categories called sk

Source URL: cs.ioc.ee

A completeness result for gs-monoidal categories Fabio Gadducci Discussions: Andrea Corradini

Source URL: www.cs.le.ac.uk

Monoidal Categories, Graphical Reasoning, and Quantum Computation Lucas Dixon and Aleks Kissinger CAM-CAD 2009 Abstract Graphs provide a natural mechanism for visualising many algebraic

Source URL: homepages.inf.ed.ac.uk

Graphical reasoning in symmetric monoidal categories Lucas Dixon, University of Edinburgh Joint work with: Ross Duncan and Aleks Kissinger, University of Oxford 5 Nov 2009

Source URL: www.cs.le.ac.uk

Representation of Partial Traces MFPS XXXI, Nijmegen, Holland Marc Bagnol — University of Ottawa Traces in symmetric monoidal categories

Source URL: www.normalesup.org